| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| als_2.06.0 | Text File | 61 | 950b | 1992-04-03 |
| auxiliary_2.06.2 | Text File | 897 | 27KB | 1992-04-03 |
| clausify_18.7 | Text File | 52 | 1KB | 1992-04-03 |
| command_2.06.2 | Text File | 382 | 17KB | 1992-04-03 |
| compile | Text File | 12 | 267b | 1992-04-03 |
| compile.in | Text File | 4 | 66b | 1992-04-03 |
| compile.out | Text File | 74 | 4KB | 1992-04-03 |
| cprolog_2.06.0 | Text File | 67 | 935b | 1992-04-03 |
| csplit_2.05.4 | Text File | 129 | 3KB | 1992-04-03 |
| exprules_18.4 | Text File | 55 | 2KB | 1992-04-03 |
| fms_2.06.0 | Text File | 175 | 6KB | 1992-04-03 |
| group_2.06.2 | Text File | 432 | 16KB | 1992-04-03 |
| hyper_2.06.2 | Text File | 1,957 | 67KB | 1992-04-03 |
| instdel_2.06.2 | Text File | 158 | 5KB | 1992-04-03 |
| interp_2.06.0 | Text File | 674 | 19KB | 1992-04-03 |
| library_2.06.2 | Text File | 905 | 23KB | 1992-04-03 |
| main_2.06.2 | Text File | 527 | 16KB | 1992-04-03 |
| p6a.clin2 | Text File | 52 | 1KB | 1992-04-03 |
| p6a.clin2.in | Text File | 3 | 26b | 1992-04-03 |
| p6b.clin2 | Text File | 52 | 1KB | 1992-04-03 |
| p6b.clin2.in | Text File | 3 | 26b | 1992-04-03 |
| pc_2.05.3 | Text File | 493 | 17KB | 1992-04-03 |
| prover_2.06.2 | Text File | 527 | 25KB | 1992-04-03 |
| quintus_2.05.8 | Text File | 52 | 802b | 1992-04-03 |
| quintus_compile_options_2.05.8 | Text File | 10 | 144b | 1992-04-03 |
| replace_2.06.0 | Text File | 676 | 25KB | 1992-04-03 |
| rewrite_2.06.2 | Text File | 2,819 | 96KB | 1992-04-03 |
| simplify_2.06.2 | Text File | 432 | 14KB | 1992-04-03 |
| spc_2.06.2 | Text File | 449 | 14KB | 1992-04-03 |
| transform_2.06.2 | Text File | 332 | 10KB | 1992-04-03 |
| try_2.06.2 | Text File | 760 | 20KB | 1992-04-03 |
| xvisor_2.05.8 | Text File | 305 | 9KB | 1992-04-03 |